From: isarra <s@zaori.org>
Date: Wed, 24 Sep 2014 21:16:35 +0000 (+0000)
Subject: Move editoptions styling to mediawiki.skinning/interface.css
X-Git-Tag: 1.31.0-rc.0~13820^2
X-Git-Url: http://git.cyclocoop.org//%22http:/%22.attribut_html%28%24lesurls%5B%24numero%5D%29.%22/%22?a=commitdiff_plain;h=d30edce749ee8d245ea1588bd4cbd958be198a9a;p=lhc%2Fweb%2Fwiklou.git

Move editoptions styling to mediawiki.skinning/interface.css

Adding the editoptions box styling to mediawiki.skinning.interface instead
of the skin-agnostic mediawiki.action.* means it will only be added to skins
where it's likely to be appropriate, as this is also where the similar styles
for toc, categories, etc are defined.

This way skins in which the editoptions box would be inappropriate need never
worry about it anyway because they won't be using mediawiki.skinning.interface
for the same reason.

Bug: 58254
Change-Id: Ibd1c0617c426e34e7213ca0ce89a126340b012a7
---

diff --git a/resources/src/mediawiki.action/mediawiki.action.edit.styles.css b/resources/src/mediawiki.action/mediawiki.action.edit.styles.css
old mode 100644
new mode 100755
index 7148b9649a..4209aa1f14
--- a/resources/src/mediawiki.action/mediawiki.action.edit.styles.css
+++ b/resources/src/mediawiki.action/mediawiki.action.edit.styles.css
@@ -8,14 +8,6 @@
 	display: block;
 }
 
-.editOptions {
-	background-color: #F0F0F0;
-	border: 1px solid silver;
-	border-top: none;
-	padding: 1em 1em 1.5em 1em;
-	margin-bottom: 2em;
-}
-
 /* Adjustments to edit form elements */
 .editCheckboxes {
 	margin-bottom: 1em;
diff --git a/resources/src/mediawiki.skinning/interface.css b/resources/src/mediawiki.skinning/interface.css
old mode 100644
new mode 100755
index 398a132dd5..b57ee367cc
--- a/resources/src/mediawiki.skinning/interface.css
+++ b/resources/src/mediawiki.skinning/interface.css
@@ -15,6 +15,14 @@
 	clear: both;
 }
 
+.editOptions {
+	background-color: #F0F0F0;
+	border: 1px solid silver;
+	border-top: none;
+	padding: 1em 1em 1.5em 1em;
+	margin-bottom: 2em;
+}
+
 .usermessage {
 	background-color: #ffce7b;
 	border: 1px solid #ffa500;